An integer linear programming model of a university soccer timetabling problem (2020)