coal processing and coal gas