Efficiency analysis of a biological methanation reactor with permeation membrane