Employees' Retirement System of Texas (ERS): Commits to Real Estate