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