Which book in the Republic ends with the Phoenician myth, which Socrates feels would serveas the effective mythical explanation for their State/