Gravar-mail: Vector control for malaria elimination in Botswana: progress, gaps and opportunities