Kinetics and Simulation on a High-Temperature Solar Thermochemical Energy Conversion Process on the Boudouard Reaction