A Non-Redundant Formulation for the Dynamics Simulation of Multibody Systems in Terms of Unit Dual Quaternions