The cost of repairing pothole damage