External atmospheric corrections in geodetic very-long-baseline interferometry