coal mill in coke gasification process