DeepSeek and China’s AI boom are increasingly powered by state money