how do we mine manganese