A novel methodology to model disruption propagation for resilient maritime transportation systems-a case study of the Arctic maritime transportation system.