Workers' Compensation Insurance Coverage for State Employees, Including Employees under the Direction or Control of the Board of Regents of Texas Tech University