An analog of the Feynman-Kac formula for Dirac's electron in electromagnetic field and the correspondence principle