A study on milling of super elastic-plastic titanium alloy with a small ball end mill tool: (Effect of different cutting environment on tool damage and finished surface)