Computer-controlled machining