A mathematical programming model to promote international cooperation in defence missions against pirate attacks on merchant ship routes: the gulf of aden case study