The algebraic and lattice structures of type-2 intuitionistic fuzzy sets