industrie minière de manganèse mondial en 2012