Leram - Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces