¿Qué hacer con la minería ilegal en el posconflicto?