Gravar-mail: Single-Nucleotide Polymorphisms for High-Throughput Genotyping of Anopheles arabiensis in East and Southern Africa