Characterization and Measure of Infinite Two-dimensional Strong Prefix Codes