从事矿物开采的工人。