Coal miners are extracting coal from a mine.