An Automated Tool for Smart Water Network Partitioning