equipment used for mining tantalum