Why a State-Level Carbon Tax Can Include Border Adjustments