Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming