Risk of infection from E. coli O157: H7 through informally marketed raw milk in Kenya