Quantos membros haviam no corpo docente do curso de Engenharia de Computação da UNIVASF em 2008?