Parametric study of membrane reactors for hydrogen production via high-temperature water gas shift reaction