type of mill used in the coke industry