What SpaceX’s filing shows about Elon Musk’s web of companies