relativistic astrometry