Some contributions to the theory and methodology of Markov chain Monte Carlo