High throughput sequencing in mice: a platform comparison identifies a preponderance of cryptic SNPs