tools and machinesused in mining