Recent progress in density functional theory