采矿设备的发展