Quantitative theory of hydrogen diffusion in niobium and tantalum