Regularity properties of a semismooth reformulation of variational inequalities