SpaceX IPO raised $10bn more than thought – BBC