DeepSeek V4 holds 40x cost advantage in China's AI race