examples/contact_mechanics/implicit.geo