Ionospheric delay handling for relative navigation by carrier-phase differential GPS