Formulation of the Pump Operations Optimization Problem for a Harvested Stormwater System. (2017)