Exploring Optimal Pump Scheduling in Water Distribution Networks with Branch and Bound Methods