Performance of a Carboxydothermus hydrogenoformans-immobilizing membrane reactor for syngas upgrading into hydrogen