On solving contact problems with Coulomb friction: formulations and numerical comparisons