Distributed Joint Beamforming for RIS-assisted Cell-Free MIMO with Discrete Phase Shifts | Synapse