Probabilistic modeling and decision support for resilient infrastructure systems