What are Synonyms?
Did you know that Miner has other words with the same meaning that can help to enhance your communication efforts?
These words are known as Synonyms.
For instance, instead of always saying Miner, you could use Mineworker, which could fit your situation perfectly.