A Review on High-Speed Machining of Titanium Alloys ∗