When astronauts breathe on Mars, they'll thank this MIT professor