Density functional theory for superconductors