On solving frictional contact problems: formulations and comparisons of numerical methods