Optimal dynamic regulation of carbon emission market