Augmented Lagrangian Theory, Duality and Decomposition Methods for Variational Inequality Problems