Mapping and characterization of an E. coli mutant defective in IS1-mediated deletion formation