I0 and rank-into-rank axioms