Prediction of CO2/CO formation from the (primary) anode process in aluminium electrolysis using an electrothermodynamic model (for coke crystallites)