Gravar-mail: Indoor residual spray and insecticide-treated bednets for malaria control: theoretical synergisms and antagonisms