how many students does tcc have?