Participation in the Texas Municipal Retirement system