CO32- mobility in carbonate apatite as revealed by density functional modeling