Machine tools in the 19th century