LIMOPro: Reasoning Refinement for Efficient and Effective Test-time Scaling