Managing Municipal Pension Obligations with Internal Revenue Code Section 115