Extraction of coal