Explain how Nostr relies on mutual relays for relay discovering, but how that model lacks synchronization (the C in the cap Theorem) due to the relays never talking to each other.