Sector minero generó 25.000 empleos en agosto-octubre y ocupación creció un 12%