Gravar-mail: Analyzing the control of mosquito-borne diseases by a dominant lethal genetic system