Pyomo--optimization modeling in python - Hart, William E., author ([Spinger , ], 2012)