Minería genera más de 280 mil empleos directos en octubre de 2025