A compositional demand/supply framework to quantify the resilience of civil infrastructure systems (Re-CoDeS)