What has happened to the revenue of the Internal Revenue Service?