Stav dette: Analyzing Markov Chains using Kronecker Products