Global carbon trade and local externalities