An efficient global optimization approach for solving mixed-integer nonlinear programming problems