简述矿用绞车的定义及矿用绞车的类型。