Theory of Interest and Life Contingencies With Pension Applications: A Problem Solving Approach