S-1 excerpts: SpaceX says its total addressable market could be as much as $28.5T, with $26.5T from the AI sector, most of it from AI for businesses (Reuters)