produced in a mine