Coherent Local Explanations for Mathematical Optimization