Ant Colony Optimization for Optimal Control of Pumps in Water Distribution Networks