Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories (Logical Methods in Computer Science, 2013)