brief look at south africaos coal mining industry