MindStar: Enhancing Math Reasoning in Pre-trained LLMs at Inference Time