how much tax revenue does the uk government collect