传感器在煤矿工程中的应用