New tool life models in turning hardened steel AISI 4340 under high cutting speed