SpaceX Files for $9 Billion IPO Amid Growing Ambitions