9 injured in TCU charter bus crash headed to Arlington