tools made from high-speed tool steel are generally used for what type of machining operations