DFT study of the catalytic effect of Na on the gasification of carbon--CO2