Dreizler Gross Density Functional Theory Quantum Many-Body Problem Springer 1990