Defined Benefit Pensions: Funding And Asset Allocation Choices