Atmospheric neutrino oscillation