“Performance goals for Elon Musk tied to the SpaceX IPO include establishing a human settlement on Mars with at least 1 million inhabitants and building data centers in space.”