SMS dit: Numerical solution of variational inequalities by adaptive finite elements