Mathematical Modeling and Topographic Error Compensation for Plunge-Shaving Cutters Generated by a Grinding Worm | Synapse