xAI has struck a deal with the U.S. General Services Administration to provide the artificial intelligence startup’s Grok chatbot to federal agencies