Modeling of High-Temperature Ceramic Membranes for Oxygen Separation