las cifras de la mina de Cerrejón