Artificial Satellites in Navigation