US lawmakers want DeepSeek banned from government devices