油制气是利用石油产品作为原料，经过( )制作工艺获得人工煤气的。