Capacitated path-aggregation constraint model for arc disruption in networks. (January 2018)