Computational models for the simulation of contact phenomena in multibody systems