GlobalOptimizationofMixed-IntegerNonlinearProblems