Text this: A Formal Model of Multi-agent System for University Course Timetabling Problems