A Systematic Mathematical Modeling Approach for the Design and Machining of Concave-Arc Ball-End Milling Cutters with Constant Helical Pitch