deepseek launches upgraded r1 ai reasoning model on hugging face