GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language