Benchmarking LLMs for Optimization Modeling and Enhancing Reasoning via Reverse Socratic Synthesis