Hydrogen production from coal by separating carbon dioxide during gasification