Diffusion of cholera in West Africa, 1970-1974