Bacterial artificial chromosome libraries for mouse sequencing and functional analysis.