Qué minería son minas y cuáles no