Efficient partitioning of water distribution networks using a graph-theoretical approach