Seven thrilling facts about carbon taxes from the CBO