Global optimization of nonconvex mixed-integer nonlinear programming (MINLP) problems in process synthesis