A decision support system based on graph theory for the design of water supply network district metering