Reaction in Al2O3 surface layers upon ion implantation