An optimal Yahtzee player AI