density functional theory and the LDA