Symbolic Formulation of Rigid Multibody Systems for Vibration Analysis Based on Matrix Transformation