Monte Carlo event generation of neutrino–electron scattering