Mixed-Integer Programming Methods For Modeling And Optimization Of Cascading Processes In Complex Networked Systems