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