Gravar-mail: Computational tradeoffs in multiplex PCR assay design for SNP genotyping