Novel Global Optimization Methods: Theoretical and Computational Studies on Pooling Problems with Environmental Constraints