Stochastic Population Update Can Provably Be Helpful in Multi-Objective Evolutionary Algorithms