For miners, coal is no longer hot