DeepSeek-R1: The Open-Source AI Model