Text this: Numerical solution of variational inequalities by adaptive finite elements