Pyomo - Optimization Modeling in Python by William E. Hart & Carl Laird