Spin-Density-Functional Theory for A Parabolic Quantum Dot in A Magnetic Field