Ab initio-based diffusion theory and tracer diffusion in Ni–Cr and Ni–Fe alloys