Modern Computational Approaches to Nonlinear Discrete Optimization and Applications in Process Systems Engineering