Zero-Direct-Carbon-Emission Aluminum Production By Solid Oxide Membrane-Based Electrolysis Process