矿山作业中普遍应用的设备有哪些