How much does the government borrow