Concepts and Formulations for Spatial Multibody Dynamics