Vitalsource Technologies, Inc. Finite Element Approximation of Contact and Friction in Elasticity