la minería como un gdp de México