mining (mines, miners)

Pode não haver tradução no idioma que você escolheu.