process of converting coal into coke is called