Hydration and coordination of K+ solvation in water from ab initio molecular-dynamics simulation.