Micro-kinetic model of electrochemical carbon dioxide reduction over platinum in non-aqueous solvents.