Correlation for the effective gas diffusion coefficient in carbon paper diffusion media