Things to know about the US Mine Safety and Health Administration and the coal industry