what is coal and coke used for