DeepSeek R1: Detailed Explanation