Computational Contact Mechanics: Geometrically Exact