Computational Study of Thermodynamics of Metal Carbonates and Catalytic Properties of Group IV Transition Metal Oxides