Performance Comparison between Dry and Nitrogen Gas Cooling when Turning Hardened Tool Steel with Coated Carbide