Ozone hole proves smaller than predicted, NASA says