这两个都是要矿工和镐子，有什么区别吗？