挥舞矿镐对矿产进行挖掘。