DeepSeek deprecated its 4.1 Pro model in favor of its cheaper 4.1 Flash model