Constructing Infinite Models Represented by Tree Automata