Density-functional theory of quantum dots in the high magnetic field limit