BAC transgenic mice and the GENSAT database of engineered mouse strains