Principles and practice of cholera control