Shigatoxin-producing Escherichia coli in salad vegetable mix from the Netherlands