Activity planning for the Mars Exploration Rovers