When analysts and investors talk about a potential SpaceX IPO, they are, in large part, talking about Starlink.