Integer Programming Models In Algorithmic Justice