Numerical Analysis of Variational Inequalities