A theoretical study of aqueous solvation of K comparing ab initio, polarizable, and fixed-charge models.