International Union, United Mine Workers of America v. Mine Safety and Health Administration, Emerald Mine Corporation, Intervenor , 830 F.2d 289 ( 1987 )