Efficient Solution of State-Constrained Distributed Parabolic Optimal Control Problems