The high temperature oxidation of aluminium-implanted iron