Add AMPL models to test different formulations