Cities are using AI, GPS, and IoT to modernize snow removal. But most systems optimize the wrong thing.