China's Tencent seems to have AI chips banned by US export controls