Deterministic global optimization : geometric branch-and-bound methods and their applications (2012)