Authorizing and providing for the purchase of military service credit in the Minnesota state retirement system (MSRS) by certain employees leaving state service to serve on active military or naval duty and resuming state service within a certain amount of time of military service termination (mk)