Portfolio selection by mutual insurance companies and optimal participating insurance policies