Gran minería demandará 18.000 técnicos en los próximos siete años