Complementarity Conditions for the Obstacle Problem