Gas in Mozambique and Tanzania: explorers hit the jackpot in sub-Saharan Africa