CO32–Mobility in Carbonate Apatite As Revealed by Density Functional Modeling