Computational contact mechanics : Geometrically Exact Theory for Arbitrary Shaped Bodies (2012)