productividad de la industria minera