How do carbon markets work?