Next-generation sequencing of experimental mouse strains