AI could help cities detect expensive water leaks