Detailed information about operating tools in the milling workshop, focusing on the characteristics of high-speed steel cutters and various milling machine types