How much revenue does the federal government collect?