A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions | Synapse