A Small-Scale Biomethane Liquefaction Process: Assessment Through a Detailed Theoretical Analysis