Operation of machine tools