Theory of QED radiative corrections to neutrino scattering at accelerator energies