Miners are extracting coal from a mine using heavy machinery.