Electron density height profiles from GPS receiver data