SpaceX files for stock market debut that could make Elon Musk a trillionaire