Modelling chloride diffusion in concrete with carbonated surface layer | Synapse