Gravar-mail: Finding Provably Optimal Markov Chains