Bayesian optimization of pump operations in water distribution systems