Use of rock dust and water under the federal mine safety code in limiting coal-dust explosions.