Construction of genetically marked Vibrio cholerae O1 vaccine strains