crush coal to make gas