Fast and Interpretable Mixed-Integer Linear Program Solving by Learning Model Reduction