Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version).