Zaslat SMS: A problem-solving approach to pension funding and valuation