A miner is drilling a hole in the ground with a heavy metal tool.