The massive Dirac equation in Kerr geometry: separability in Eddington–Finkelstein-type coordinates and asymptotics