what are the key differences between deepseek-r1 and openai's o1 - http://18588219367665712631.live960.com/82399/list.htm