An Integer Program and a Hybrid Genetic Algorithm for the University Timetabling Problem