Should Wyoming's retirement system be changed from a defined benefit to a defined contribution, 401-K type of plan?