DeepSeek R1 requirements