Non-linear boundary element formulation applied to contact analysis using tangent operator