Contact Force Models for Multibody Dynamics