The production of separate streams of pure hydrogen and carbon dioxide from coal via an iron-oxide redox cycle