An augmented Lagrangian finite element formulation for 3D contact of biphasic tissues