Streamlined computational pipeline for genetic background characterization of genetically engineered mice based on next generation sequencing data