datos 2020 del sector mineria mexico