Large-scale discovery and genotyping of single-nucleotide polymorphisms in the mouse