A timetable generator for schools