The European Deterrence Initiative: A Budgetary Overview