Neil deGrasse Tyson explains what he thinks will get humans to Mars