“Christopher Marx, a government scientist and former coal miner, developed methods that successfully prevented coal mine roofs from collapsing.”