Floudas, Nonlinear and mixed integer optimization: Fundamentals and applications (1995)