Mining Africa must use its gas reserves to drive the economy, industry officials say November 1, 2022