An ab initio path integral molecular dynamics study of double proton transfer in the formic acid dimer