equipments devices and tools for mining