Mathematical model of transmission dynamics of human immune-deﬁciency virus: A case study for Yunnan, China - Zhang,Tailei