煤矿用瓦斯检测仪器有哪些种类