Global optimization of mixed-integer nonlinear programs via decision diagrams