A Set Union Based Formulation for Course Scheduling and Timetabling