Gravar-mail: Optimizing selection of restriction enzymes in the search for DNA variants.