Convergence of EM image reconstruction algorithms with Gibbs smoothing | Synapse