An interface-enriched generalized finite element formulation for locking-free coupling of non-conforming discretizations and contact