Elon Musk's SpaceX is chasing a $1.5 trillion IPO