Density-functional theory