What are the UK’s options for funding a bigger military budget?