Processos Decisórios de Markov e Justiça Criptográfica em Gamão: O Algoritmo Expectiminimax e Provably Fair Dice