Effect of spraying on coal dust diffusion in a coal mine based on a numerical simulation. (September 2020)