Electron density profile at the interface of SiO2/Si(0 0 1)