Class Timetable Allocation in Higher Education Using Binary Integer Programming: A Case Study in the Academic Department of Mathematics at a Public University in Paraná, Brazil (Journal of Education and Learning, 2025)