Even as it shrinks, the US military budget is unrivalled