Detecting contact in language trees: a Bayesian phylogenetic model with horizontal transfer