Global Convergence of a Robust Smoothing SQP Method for Semi-Infinite Programming