Applied general relativity : Theory and applications in astronomy, celestial mechanics and metrology.