Efficient closed-form solution of the kinematics of a tunnel digging machine