The Antarctic ozone hole would have been 40% bigger by now if ozone-depleting chemicals had not been banned in the 1980s, according to research.