types of machine tools in workshop technology