Comparative modeling study of catalytic membrane reactor configurations for syngas production by CO2 reforming of methane