Huawei techies carried out AI research with China’s military