Two extended formulations for cardinality maximum flow network interdiction problem. Issue 4 (10th February 2017)