Email Record: Effectiveness of different size rock dusts in preventing coal-dust explosions in mines.