Multi-Body Kinematics and Dynamics with Lie Groups