\label{sec:gibbs}
All this work has been moved to a new document, which can be found at URL https://www.authorea.com/users/1329/articles/2725/_show_article.
