operated by the Corrections Corporation of America and owned by the Texas Department of Criminal Justice