Employees of the agencies are members of the Employees Retirement System of Texas under Chapter 812, and the agencies’ independent status shall have no effect on their membership.