Effective diffusivity of oxygen in the ash layer of Huadian oil shale semicoke