The study on the synergistic optimization of carbon tax system construction and carbon emission trading market under the “carbon peak” background