Stronger formulations of mixed integer linear programs: an example