A globally convergent SQP method for semi-infinite nonlinear optimization