The ferromagnetic Potts (and Ising) model: Proving replica-symmetric free energy prediction by interpolation and graph decimation.