which procedures are ball end mill used