A characterization of sequential rationalizability