Solving a university timetabling problem by integer programming