Distribution of cycle lengths of infinite permutations