Modeling and Solution Methods for Efficient Real-Time Simulation of Multibody Dynamics