tools used in tantalite mining