what is the benefit of coal mining industry of colombia to other countries