A Novel Approach for Auto-Formulation of Optimization Problems