Text this: Mechanism of aluminum carbide formation in aluminum electrolysis cells