A theoretical study of the initial oxidation of the GaAs(001)-β2(2×4) surface