a mine is for getting coal from the ground