Decomposition, reformulation, and diving in university course timetabling