Computer simulation of ionic migration during electrochemical chloride extraction from hardened concrete