Global Optimization of Large-Scale Pooling Problems: Quadratically Constrained MINLP Models