names of tools used for mining