Mechanistic insights into the electrochemical reduction of CO2 on cyclo[18]carbon using density functional theory calculations