AIB 2011-24: Demonstration of a Branch-and-Bound Algorithm for Global Optimization using McCormick Relaxations