Adaptive techniques for the contact of elastic bodies.