Pothole Patrol: How potholes are repaired