a person who works in a mine, extracting minerals, coal, or other valuable materials from the earth