Modelling of 18O tracer studies of the oxygen redistribution during formation of SiO2 layers by high dose implantation