Simulation study of water gas shift reaction in a membrane reactor