Nvidia helped DeepSeek hone AI models later used by China's military