Learning Rules Explaining Interactive Theorem Proving Tactic Prediction