a mixture of gas and coal