verotoxin-producing E. coli