AI chatbot from Chinese firm DeepSeek restricted from some government phones