Symmetric double proton tunneling in formic acid dimer: a diabatic basis approach.