A numerical study of helium-heated inorganic membrane reformer coupling to HTGR