Coal into gas