Formalism, analytical model, and a priori Green’s-function-based calculations of the current–voltage characteristics of molecular wires | Synapse