In 2024, just 42,600 people worked in the U.S. coal mining industry. Climate change, a desire for clean energy, and better technology are forces behind the decline.