ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving