Static Partial Order Reductions for Probabilistic Systems