Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics.