Text this: Actuarial software Prophet and its using in life insurance