Tiling automaton: A computational model for recognizable two-dimensional languages