现阶段用于矿井的灭火技术主要有( )以及新型的凝胶灭火、泡沫灭火等技术手段。