African Development Bank and Korea launch the Korea-Africa Energy Investment Facility