machinery used for mining mangnese