Distribution of Policyholder Equity in a Demutualization