Federated Averaging Langevin Dynamics: Toward a unified theory and new algorithms