Atmospheric neutrino oscillations in MACRO