Theoretical Study of Ruthenium-Catalyzed Hydrogenation of Carbon Dioxide into Formic Acid. Reaction Mechanism Involving a New Type of σ-Bond Metathesis