A history of machine tools, 1700-1910