milling a convex shape with a ball end mill