Exploring Explainable Multi-player MCTS-minimax Hybrids in Board Game Using Process Mining