How do spacecraft know where they are if conventional GPS doesn’t work? For example, could a spacecraft land in a predetermined point in mars accurately? How?