CBO says carbon tax would cut deficit