How long would a Mars mission last?