Harmonising Chorales by Probabilistic Inference