Problem formulation for gene drive mosquitoes designed to reduce malaria transmission in Africa: results from four regional consultations 2016–2018