Technical analysis of hydrogen-rich stream generation through CO2 reforming of biogas by using numerical modeling