CO2 reforming of methane as a source of hydrogen using a membrane reactor