Symbolic Modeling of Multibody Systems