The Diffusion of Cleaner Vehicles in Co2 Emission Trading Designs