Modeling and analysis of carbon dioxide permeation through ceramic-carbonate dual-phase membranes