Characterization of the Dynamics in the Protonic Conductor CsH2PO4 by 17O Solid-State NMR Spectroscopy and First-Principles Calculations: Correlating Phosphate and Protonic Motion