Analytical Formulas for Option Embedded in Life Insurance Policies