An Integer Linear Programming Model for the Examination Timetabling Problem: A Case Study of a University in Thailand (Advances in Operations Research, 2024)