coke formed by coal processing