A comparative study of two different membranes applied for auto-thermal methanol synthesis process