Discovery of neutrino oscillations