vale took over coal mine in colombia mining ores exploration