A Modelica library for idealized simulation of contact phenomena