Neutrino cross section and mean free path in neutron stars in the framework of the Dirac-Hartree-Fock approximation