7 Discovery of Atmospheric Neutrino Oscillations