A 10- rather than 9-bp duplication associated with insertion of Tn5 in Escherichia coli K-12