Gravar-mail: High-throughput genotyping of high-homology mutant mouse strains by next-generation sequencing