Two Enabling Developments for Computational Contact Mechanics