Retirement, deferred compensation in lieu of PERA coverage, Minn. Law 2025 c 37 art 2 s 4, 5, 2025 c 37 art 3 s 7