An Introduction to Ampl