Convergence analysis of the SQP method for nonlinear mixed-constrained elliptic optimal control problems