mill in coke gasification process