Recursive Linearization of Multibody Dynamics and Application to Control Design