$$\hbox {CO}_2$$CO2-intensive power generation and REDD-based emission offsets with a benefit-sharing mechanism