An application of spectral graph partition for designing district metered areas in water supply networks