Automata and Logics for Words and Trees over an Infinite Alphabet