in mining, is the pit or hollow entrance into the mine.