the process that converts solid coal into gas is called