Membrane reactor modelling, validation and simulation for the WGS reaction using metal doped silica membranes