Can Waymo and Waze fix cities' potholes?