General Relativity for Planetary Navigation