Characterization and measure of infinite two-dimensional strong prefix codes