Hydrogenations of Isocyanic Acid: A Computational Study on Four Possible Concerted Paths for Formamide Formation