Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming