The discovery of atmospheric neutrino oscillations