list of tools and equipments for mining