Respirable coal mine dust standards and their enforcement under the Federal Coal Mine Health and Safety Act of 1969