Text this: Practice and theory of automated timetabling :