Stochastic Deep Koopman Model for Quality Propagation Analysis in Multistage Manufacturing Systems