Lithium diffusion in the spinel phase Li4Ti5O12 and in the rocksalt phase Li7Ti5O12 of lithium titanate from first principles