Statistics for Examination timetabling at the University of Cape Town: a tabu search approach to automation