Compositional and Non-Isothermal Simulation of CO2 Sequestration in Naturally Fractured Reservoirs/Coalbeds: Development and Verification of the Model