“The SpaceX IPO filing includes a performance target for Elon Musk to receive a significant bonus if the company creates a one-million-person colony on Mars.”