Computational Models for the Simulation of Contact Phenomena in Multibody Systems