Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models