OpenAI debuts a version of ChatGPT for US government agencies