Explaining random forest predictions through diverse rules