Deterministic Global Optimization: Geometric Branch-and-bound Methods and their Applications (Nonconvex Optimization and Its Applications, Band 63)