Efficacy of vaccination of family contacts of cholera cases