Automated planning for a lunar rover mission in PDDL - landers, rovers and astronauts, solved with Fast Downward