Microsoft Is Bringing OpenAI’s GPT-4 AI model to US Government Agencies