Formation of the Antarctic ozone hole by the CIO dimer mechanism