A redox cycle approach for the production of H2 by methanol reforming