Ozone hole over Antarctica shrinks to smallest peak