Overview of the development of the Korean machine tool industry in the first three quarters 2024-07-31