Water-insoluble compounds formed by reaction between potassium and mineral matter in catalytic coal gasification