A performance-based tool for prioritising water meter substitution in a urban distribution network