Density functional theory of high-k dielectric gate stacks