Lessons Learned in Mandatory Carbon Market Development