Ab Initio Molecular Dynamics Approach to a Quantitative Description of Ion Pairing in Water