SpaceX’s IPO prospectus underscores the importance of Starlink to the company’s operations.