machines used in the mining of manganese