Carbon Market Design and Oversight: A Short Overview