Reduction of stochastic parity to stochastic mean-payoff games