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