Formal Reductions Of Stochastic Rule-Based Models Of Biochemical Systems