Title: Theory and practice of mine gas control at deep levels