Computational frameworks for decarbonizing urban water supply systems