Study on the characteristics of dust diffusion during a truck travelling in an open-pit coal mine affected by the vertical wind shear