The science behind SpaceX’s ambitious plan to land a spacecraft on Mars