Подземные горные выработки: типы и геологическое значение