Ozone hole is about average size, despite undersea volcano eruption that was expected to worsen it