deepseek vs codestralollama pull deepseek-r1:7bwhat are the differences between the various model sizes of deepseek r1mac mini pro deepseek
