Planet Exploration by Robots: From Mission Planning to Autonomous Navigation