OpenAI co-founder Greg Brockman is leaving, too