process of coal extracted from coal mines