machine used in the mining of manganese