优化模型与AMPL