AMPL model of the same benchmark (Bratu)