西藏人吃的藏巴豆是什么品种