Elon Musk has just declared that there will be one million humans living on Mars by 2045. Perfect timing, you will agree, because ...