Optimal Degree of Funding of Public Sector Pension Plans