Mechanism of C-N bonds formation in electrocatalytic urea production revealed by ab initio molecular dynamics simulation