Semiclassical Green's functions and an instanton formulation of electron-transfer rates in the nonadiabatic limit