miner [pl. miners]