A time-dependent density-functional approach to nonadiabatic electron-nucleus dynamics: formulation and photochemical application.