模糊数学在矿山安全综合评价中的应用