ampl sources of optimization problems