Title: A comparison of geodetic doppler satellite receivers