Pyomo – Optimization Modeling in Python (Springer