Global Optimization: Theory, Algorithms, and Applications