Nobel Lecture: Discovery of atmospheric neutrino oscillations