equipment used for mining mangnese