Slice sampler implementation