Timed tree Automata with an application to Temporal Logic