The history and evolution of Escherichia coli O157 and other Shiga toxin-producing E. coli