Colorado city uses 15-minute water data from smart meters to catch illegal lawn watering