El 80 % de las minas en Antioquia son informales