Computational Chemistry Applied to Hydrocarbon Functionalization by Iron Catalysts, Oxidation State Characterization, and Electrides Design