Carbon Markets: Microstructure, Pricing and Policy