Precision of vertical position estimates from very long baseline interferometry