Local quadratic convergence of SQP for elliptic optimal control problems with mixed control-state constraints