Exact slice sampler for Hierarchical Dirichlet Processes