Just how big is China's AI market?