History of precision machining