The Pyomo optimization modeling framework for formulating, analyzing, and solving mathematical optimization problems