Defence spending at 3.5% of GDP would have cost EU an extra nearly $390bn a year since end of Cold War