Large Language Models for Mathematical Reasoning: Progresses and Challenges