A conditional value-at-risk model for insurance products with a guarantee. (23rd December 2008)