The anodic oxidation of GaAs in an oxygen plasma generated by a D.C. electrical discharge