Gravar-mail: Precise BAC targeting of genetically polymorphic mouse ES cells