A problem-solving approach to pension funding and valuation