The SpaceX IPO filing is filled with AI bets, Starship dreams, and Elon Musk at the center