Design of water supply networks and source selection for slums by using mixed-integer programming