Tree Automata with Global Constraints