开矿的工人。