Trump tariffs would shrink the federal deficit, but also the economy, CBO says