Ion Dynamics in Li2CO3 Studied by Solid-State NMR and First-Principles Calculations