deepseek logo svgwhat specific datasets were used to train deepseek-r1deepseek coder r1deepseek+notion