AI Researchers from Tsinghua University and Microsoft Introduce ToRA: An Artificial Intelligence Tool-Integrated Reasoning Agent for Mathematical Problem Solving