Text this: Bayesian optimization of pump operations in water distribution systems.