Infinite two-dimensional strong prefix codes: Characterization and properties