Rigorous analysis of the convergence of MCMC algorithms