The Nature of Mathematical Explanation