Text this: An Integer Linear Programming Model for the Examination Timetabling Problem: A Case Study of a University in Thailand