NASA is going back to Mars, and it’s going deep