Experimental study on whether and how particle size affects the flame propagation and explosibility of oil shale dust