Density functional theory for hard polyhedra.