Texas government employees’ retirement plans could change under Senate bill