Symbolic Formulation of Multibody Dynamic Equations for Wheeled Vehicle Systems on Three-Dimensional Roads