Co-production of hydrogen-rich gas and porous carbon by partial gasification of coal char