Probability distribution of measured debris-flow velocity in Jiangjia Gully, Yunnan Province, China