ball mill for coke plant