OptiMUS: Optimization Modeling Using MIP Solvers and large language models