Keir Starmer says he will spend £13.4bn a year more on defence, but the Institute for Fiscal Studies (and even the defence secretary) says it is £6bn. John Rentoul explains the gap