A Global Optimization Algorithm for Generalized Semi-Infinite, Continuous Minimax with Coupled Constraints and Bi-Level Problems