Lagrange constraints for transient finite element surface contact