Z' boson mass reach and model discrimination at muon colliders | Synapse