Computational chemistry applied to hydrocarbon functionalization by iron catalysts, oxidation state characterization, and electrides design