Modeling and Optimization Techniques for Critical Infrastructure Resilience