How much money was spent on the Portuguese armed forced in 2009