what are the key differences between deepseek-r1 and openai's o1