Because future explorers won't be able to carry all their resources—a new university degree focuses on space mining.