Relativity in astrometry