Casa Economía Cerrejón exportó 13,6 millones de toneladas en 2020