Hydrogen evolution from formic acid in an ionic liquid solvent: a mechanistic study by ab initio molecular dynamics.