Decomposition, Reformulation, and Diving in University Course Timetabling