Church: a language for generative models