sasol process of converting coal to syngas