Hydrogen activation, diffusion, and clustering on CeO₂(111): a DFT+U study.