Harmonic force constants of formic acid: ab initio results and the uniqueness problem of force fields derived from vibrational data