Case Studies in Insurance Mathematics: Modeling unit-linked life insurance products