product obtained during the processing of coal to get coke