A Specification Language for Gibbs Sampling