Intensity of the atomic oxygen lines at 8446 and 7771 A in an Ar-O2 d.c. glow discharge