Modeling the Future Value Distribution of a Life Insurance Portfolio