Exploiting integrality in the global optimization of mixed-integer nonlinear programming problems with BARON. (4th May 2018)