Штоленная добыча угля: история и методы