Гидроразрыв угольного пласта в шахтных условиях как панацея решения газовых проблем шахт (основы разработки и внедрения)