Global trading versus linking: Architectures for international emissions trading