person who works in a mine Synonyms

shaftman gold digger quarryman