In the original IVET method, bacteria were isolated from the mouse spleen after infection with strains of S. typimurium carrying the insertions of the IVET plasmid. How were the bacteria introduced into the mouse in the first place (i.e. how were the mouse infected?)