OpenAI launches Codex, an AI coding agent, in ChatGPT