A PIM-aided Kalman Filter for GPS Tomography of the Ionospheric Electron Content