Ionospheric calibration of radar altimeters using GPS tomography