Federal mine safety code for bituminous-coal and lignite mines of the United States