New Optimality Conditions and Methods for State-Constrained Elliptic Optimal Control Problems