Here’s how much OpenAI stock would be worth in IPO