Bridging Formal Language with Chain-of-Thought Reasoning to Geometry Problem Solving