High-precision machine tools