A Mathematical Prediction Model of the Grinding Force in Ultrasonic-Assisted Grinding of ZrO2 Ceramics with Experimental Validation