A finite element implementation for biphasic contact of hydrated porous media under finite deformation and sliding. (March 2014)