What’s a “carbon border adjustment mechanism,” and what does it mean for U.S. exports?