a mine is either a kind of place where people dig in the ground to obtain minerals or a kind of exposive device