Dynamic Cutting Force Prediction Model and Experimental Investigation of Ultrasonic Vibration-Assisted Sawing | Synapse