High-Precision Volume Measurement of Potholes in Pavement Maintenance. (30th June 2022)