Understanding causal cluster quorum and cluster recovery