An input-output hidden Markov model for tree transductions