Analysis of stochastic reaction networks with Markov reward models.