US adds web and gaming giant Tencent to list of Chinese military companies