machine-tool industry