Density Functional Theory Study on the Mechanism of Calcium Sulfate Reductive Decomposition by Carbon Monoxide