Vague集信息融合理论在煤矿安全监测中的应用