Deterministic Global Optimization: Theory, Methods and Applications