machinery used for mining manganese