Cholera vaccines: WHO position paper August 2017