process of extraction for coal