coal mining exploration in africa coal mining in africa