Integrated GNSS Doppler velocity determination for GEOHALO airborne gravimetry