A Survey of Search Methodologies and Automated Approaches for Examination Timetabling