gasification in used coal mine