Tunneling dynamics of double proton transfer in formic acid and benzoic acid dimers.