Pollution for Sale: Emission Trading and Joint Implementation