Micromilling force modeling and application verification of vortex curved surfaces